1. Computer science logic : 12th International Workshop, CSL'98 : Annual Conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings
Author: Georg Gottlob, Etienne Grandjean, Katrin Seyr )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
1584
